Titre : Fouille de données par la Programmation par contraintes et la Satisfiabilité Propositionnelle
Auteur : Lakhdar Saïs (CRIL, Université Lille Nord de France)
Date : le 19 Janvier 2012 à 14:00
Lieu : Amphi SRC, IUT de Lens
Résumé : Après une introduction de la problématique des problèmes de découvertes de motifs intéressants dans des masses de données, nous donnons un bref aperçu de deux modèles déclaratifs de représentation et de résolution de problèmes à base de contraintes : la programmation par contraintes et de la satisfiabilité propositionnelle. Nous montrons ensuite comment ces deux modèles déclaratifs peuvent être utilisés pour modéliser et résoudre deux problèmes d'énumération de motifs intéressants : les itemset fréquents et les motifs fréquents dans les séquences.